Proving the correctness of a virtual machine by a bisimulation
- Författare
- Institutionen för informationsbehandling (Göteborg) Mikael Rittri
- (Lic.-avh. Göteborg : Institutionen för informationbehandling)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Dept of computer sciences | 1988 | Sverige, Göteborg | 39 sidor. |